民用运输类飞机驾驶舱门适航要求及验证

介绍了增强型驾驶舱门的产生背景及主要组成部分,列出了增强型驾驶舱门关于泄压、防侵入与防穿透以及紧急进入驾驶舱的适航要求,归纳总结了针对上述要求的设计方法、适航验证思路和符合性方法(method of compliance,简称MOC),以及在设计和验证中要注意的问题。该研究对于飞机增强型驾驶舱门设备鉴定及装机验证具有参考价值。     

基于加权鉴别函数的二进制偏移载波信号跟踪方法

在移除二进制偏移载波（Binary Offset Carrier,BOC）信号跟踪模糊的同时,为了保持BOC信号高的码跟踪精度,提出基于加权鉴别函数（Weighted Discriminator Function,WDF）的BOC信号无模糊跟踪方法。WDF使用非相干超前减滞后功率（Noncoherent Early Minus Late Power,NELP）鉴别器和子载波相位消除（Sub Carrier Phase Cancellation technique,SCPC）鉴别器,生成无误锁点的鉴别函数实现BOC信号跟踪。针对BOC(10,5)信号,仿真结果表明,相比于SCPC、基于伪相关函数的无模糊延迟锁定环（Pseudo correlation function based Unambiguous Delay Lock Loop,PUDLL）方法和对称脉冲模糊移除（Symmetrical Pulse Ambiguity Removing,SPAR）方法,所提WDF方法在码跟踪误差方面分别改善了2.5dB、5.5dB与8.3dB,多径误差分别降为60.4%、32.8%与38.0%。因此,WDF是一种有效的、高性能的BOC信号无模糊跟踪方法。     

空间通信与BATS码：天成之合

创新通信技术在国家重大空间技术开发计划中有着巨大的需求。本文综述了基于网络编码的空间通信技术,旨在探索未来基于网络编码的空间通信技术的可行性和潜力。首先讨论了空间通信的特点,并给出了不同编码方法的概述;详细介绍了基于网络编码的批量稀疏编码（BATS码）创新技术。BATS码作为一种潜在的应用技术可以很好地解决多跳中继网络中严重丢包问题;给出一个BATS码原型设计和实现,实验结果证明BATS码比现有技术具有明显优势;最后,讨论了BATS码在空间通信中的应用前景。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

民用飞机系统安全性分析中EWIS部件的考虑

通过对适航规章25.1709的分析,结合AC25.1701,提出了民用飞机系统安全性分析中需考虑EWIS部件的一些方面,并初步研究了具体的分析方法。     

“北斗”2代B1I信号导航电文分析

分析“北斗”2代卫星导航系统B1I信号的构成,说明调制在D1导航电文上的二次编码的作用,介绍导航电文的纠错编码方式和编码原理,对BCH编码的纠错原理和纠错性能进行详细分析和计算,证明了导航电文采用的纠错编码方式能满足信息传输准确性的要求.     

新型运载火箭结构优化设计与试验验证

伴随着运载火箭大型化与重型化的趋势,结构优化技术在火箭轻量化设计中扮演着越来越重要的角色,同时更高精度的试验、测试以及更高置信度的分析评估需求也日益凸显。本文首先对运载火箭结构轻量化设计方法进行概述;然后针对几种典型密封类与非密封类结构优化案例及新型运载火箭结构中的不确定性优化方法进行了重点介绍,并对优化结果进行了试验验证;最后对亟待解决的技术问题与未来结构优化技术发展趋势进行了梳理与展望。     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

一种阵列天线逐通道相关在线标校法

由于发送端和接收端时钟的不一致性,导致低信噪比下阵列天线卫星移动通信的逐通道相关标校有很大的难度。在考虑易实现性和简易性基础上,提出了一种可以解决低信噪比下通道校正的多周期长时累积方法。该校准信号为由地面标校站产生的BPSK调制扩频信号,可以减少卫星设计的复杂度,且在不中断用户数据传输的基础上实现在线标校。该方法通过对接收信号打标、速率匹配等措施来解决收发时钟不一致导致的码偏和频偏问题。研究结果可以为阵列天线卫星通信技术提供支持。     

砝码校准能力验证方案的设计

借鉴质量管理体系的理念和方法,结合能力验证的规则和特点,阐述了砝码能力验证方案的设计过程,具体分析了设计方案的评审、实验室分组、样品传递、结果报告发布等各阶段的内容。经实践验证,设计方案合理,控制效果显著。